derived-seq(f;s) == let k,g = s in n.<k, i.f(n+g(i))> 

latex

Definitions	let x,y = A in B(x;y), <a, b>, x.A(x), n+m, f(a)
FDL editor aliases	derived-seq